#especificación del kernel